Nuprl Definition : interface-inr
11,40
postcript
pdf
interface-inr(
X
) ==
f
,
s
.
x
.inl (inr
x
) o
f
(
s
) o
X
latex
Definitions
g
o
f
,
f
o
g
,
x
.
A
(
x
)
,
inl
x
,
inr
x
,
f
(
a
)
FDL editor aliases
interface-inr
origin
f,s. x.inl (inr x ) o f(s) o X f,s. x.inl (inr x ) o f(s) o X x.A(x)